Operads of Wiring Diagrams by Donald Yau

Author:Donald Yau
Language: eng
Format: epub, pdf
ISBN: 9783319950013
Publisher: Springer International Publishing

6.5 Finite Presentation for the Algebra of Discrete Systems

The purpose of this section is to provide a finite presentation for the algebra of discrete systems introduced in [45, Definition 4.9]. Let us first recall some definitions from [45, Sections 2.1 and 4.1].

Assumption 6.37

Throughout this section, S denotes the class of sets. So Box S = Box Set, and WD • is the Box Set-colored operad of normal wiring diagrams (Proposition 5.​27).

Definition 6.38

Suppose A and B are sets. An (A, B)-discrete system is a triple (T, f rd, f up) consisting of: 1.a set T, called the state set;

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.